#include <drivers.h>
#include <mt-plat/mt_pmic_wrap.h>
#include <linuxboot/linuxcompat.h>
#include <lk/api.h>

int pwrap_hal_init(void);

void linuxboot_pmic_init() {
    s32 s;

    s = pwrap_hal_init();
    if (s!=0) {
        video_printf("Failed to initialize PMIC, HANG");
        for(;;);
    }
    video_printf("PMIC initialization successful.");
}